lazy reduction

[计] 惰性归约